1. Семантика и её значение 2. Введение в Coq 3. Семантика большого шага для императивного языка 4. Множественные цели в Coq. Д-во корректности Constant Folding 5. Coq. Разбор д-ва терминируемости алгоритма Евклида 6. Семантика малого шага, логика Хоара 7. Coq. Семантика малого шага, логика Хоара 8. Введение в слабые модели памяти 9. Декларативные модели памяти (1/2) 10. Декларативные модели памяти (2/2)
1. Семантика и её значение 2. Введение в Coq 3. Семантика большого шага для императивного языка 4. Множественные цели в Coq. Д-во корректности Constant Folding 5. Coq. Разбор д-ва терминируемости алгоритма Евклида 6. Семантика малого шага, логика Хоара 7. Coq. Семантика малого шага, логика Хоара 8. Введение в слабые модели памяти 9. Декларативные модели памяти (1/2) 10. Декларативные модели памяти (2/2)
The lead from Wall Street offers little clarity as the major averages opened lower on Friday and then bounced back and forth across the unchanged line, finally finishing mixed and little changed.The Dow added 33.18 points or 0.10 percent to finish at 34,798.00, while the NASDAQ eased 4.54 points or 0.03 percent to close at 15,047.70 and the S&P 500 rose 6.50 points or 0.15 percent to end at 4,455.48. For the week, the Dow rose 0.6 percent, the NASDAQ added 0.1 percent and the S&P gained 0.5 percent.The lackluster performance on Wall Street came on uncertainty about the outlook for the markets following recent volatility.
The Singapore stock market has alternated between positive and negative finishes through the last five trading days since the end of the two-day winning streak in which it had added more than a dozen points or 0.4 percent. The Straits Times Index now sits just above the 3,060-point plateau and it's likely to see a narrow trading range on Monday.
